Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes

Represented knowledge is subject to frequent changes. To meet these requirements for dynamics, SPARQL update, an update language for RDF graphs, was developed. Even though there is some research on semantics of SPARQL ABox update for RDFS ontologies and approaches addressing updates in interplay with rather restricted TBoxes languages, up till now there is no definition of semantics for SPARQL updates for OWL knowledge bases. In this paper, we define a SPARQL update semantics for OWL-DL ABoxes and show how existing methods like justification-based explanation can be used to conduct SPARQL updates in the presence of OWL-DL TBoxes. We argue that the interplay of the deletion and the insertion task of SPARQL update queries renders it not advisable to consider these tasks separately. This is why we introduce query-driven semantics aiming at optimizing the effect of the whole update operation.